Nuprl Definition : grp_eq
13,42
postcript
pdf
=
== (
g
.2).1
latex
clarification:
=
g
== (
g
.2).1
latex
Up
grp
sig
object
directory
Wellformedness Lemmas
grp
eq
wf
Definitions
t
.1
,
t
.2
origin
== (g.2).1
g == (g.2).1 == (g.2).1
g == (g.2).1